Higher category theory - PDFSEARCH.IO - Document Search Engine

Higher category theory
Results: 120

#	Item
71	General Schemas Theory and N-Categories -- Kent Palmer here and not trying to go too far, but just far enough to show the promise of this area of research with regards to General Schemas Theory. Add to Reading List Source URL: emergentdesign.net Language: English - Date: 2014-02-16 18:13:51 Category Dual Natural transformation Morphism Higher category theory Schema Equivalence of categories Coproduct Functor Category theory Abstract algebra Mathematics
72	Traces in low-dimensional algebra Simon Willerton University of Sheffield Tr& (f ) := Tr (f ) := Add to Reading List Source URL: www.simonwillerton.staff.shef.ac.uk Language: English - Date: 2013-09-03 07:35:50 Algebra 2-category Functor Natural transformation Bimodule Category Product Enriched category Fibred category Category theory Abstract algebra Higher category theory
73	CONDITIONS FOR INTEROPERABILITY Nick Rossiter School of Informatics, Northumbria University, NE1 8ST, UK Email: [removed] Michael Heather Northumbria University, NE1 8ST, UK Email: [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2005-02-01 06:02:02 Higher category theory Adjoint functors Diagram Natural transformation Limit Data model Initial and terminal objects Sheaf Topos Category theory Abstract algebra Functors
74	18.S996S13 Textbook: Category Theory For Scientists Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2014-06-15 19:52:26 Adjoint functors Higher category theory Functors Monad Topos Olog Natural transformation Sheaf Category of topological spaces Category theory Abstract algebra Mathematics
75	D:WARTICLESOLDSTUFFSKETCHSKETCH.DVI Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2014-02-26 21:53:08 Higher category theory Algebraic topology Adjoint functors Sheaf theory Topos Sketch Categorical logic Regular category Michael Barr Category theory Abstract algebra Mathematics
76	What n-Categories Should Be Like John C. Baez A %% Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2004-06-11 10:36:24 Abstract algebra Homotopy theory Higher category theory Algebraic structures PRO Groupoid Braided monoidal category Functor Category Category theory Algebra Monoidal categories
77	Higher Categories from Type Theories PhD thesis Peter LeFanu Lumsdaine Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematical logic Metaphilosophy Categorical logic Theoretical computer science Category theory Model theory Type theory Proof theory Metalogic Logic Higher category theory
78	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
79	CLP7 Categories, Logic, and Physics Birmingham 21-Sep-2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-12-06 08:40:53 Quantum mechanics Category theory Duality Topos Pointless topology Observable Quantum gravity Higher category theory M-theory Physics Topology Abstract algebra
80	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Topology Algebraic topology Higher category theory Model category Groupoid Simplicial set Alexander Grothendieck Model theory Abstract algebra Homotopy theory Category theory

UPDATE